1

Rules as actions: A situation calculus semantics for logic programs

Year:
1997
Language:
english
File:
PDF, 1.54 MB
english, 1997
2

How to progress a database

Year:
1997
Language:
english
File:
PDF, 2.32 MB
english, 1997
3

Introduction to the special volume on knowledge representation

Year:
1991
Language:
english
File:
PDF, 179 KB
english, 1991
4

Some contributions to the metatheory of the situation calculus

Year:
1999
Language:
english
File:
PDF, 265 KB
english, 1999
5

Scheduling in the situation calculus: A case study

Year:
1997
Language:
english
File:
PDF, 376 KB
english, 1997
10

A COUNTEREXAMPLE IS WORTH A THOUSAND WORDS

Year:
1993
Language:
english
File:
PDF, 276 KB
english, 1993
16

State Constraints Revisited

Year:
1994
Language:
english
File:
PDF, 1.02 MB
english, 1994